<header>De KDC verkrijgen via een DNS record</header>

Dit geeft aan of de DNS records moeten worden gebruikt om de KDC omgeving
te lokaliseren.
Standaard worden deze records gebruikt.
<hr>
